davis–putnam algorithm - Alemán Inglés Diccionario